2
Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice

Έτος:
2024
Γλώσσα:
english
Αρχείο:
PDF, 7.06 MB
0 / 5.0
english, 2024
3
WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 9.73 MB
0 / 5.0
english, 2023
4
Computational Science and Its Applications – ICCSA 2022 Part I

Computational Science and Its Applications – ICCSA 2022 Part I

Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 71.48 MB
0 / 4.0
english, 2022
5
Medical Image Learning with Limited and Noisy Data

Medical Image Learning with Limited and Noisy Data

Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 40.59 MB
0 / 5.0
english, 2023
7
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Έτος:
1987
Γλώσσα:
english
Αρχείο:
PDF, 4.61 MB
0 / 0
english, 1987
10
Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 3.80 MB
0 / 0
english, 2003
11
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 7.67 MB
0 / 0
english, 2021
13
Computational Complexity Theory

Computational Complexity Theory

Έτος:
1989
Γλώσσα:
english
Αρχείο:
DJVU, 1.64 MB
0 / 0
english, 1989
14
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 374 KB
0 / 0
english, 1987
15
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Έτος:
1966
Γλώσσα:
english
Αρχείο:
DJVU, 2.07 MB
0 / 0
english, 1966
18
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
EPUB, 601 KB
0 / 0
english, 2021
21
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 6.81 MB
0 / 5.0
english, 2023
24
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 894 KB
0 / 0
english, 1987
25
Lecture Notes in Computer Science

Lecture Notes in Computer Science

Έτος:
2008
Γλώσσα:
english
Αρχείο:
EPUB, 2.27 MB
0 / 0
english, 2008
26
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
AZW3 , 5.69 MB
0 / 0
english, 2021
28
Feasible Computations and Provable Complexity Properties

Feasible Computations and Provable Complexity Properties

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 425 KB
0 / 0
english, 1987
29
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
LIT , 5.52 MB
0 / 0
english, 2021
31
Graphical Models for Security

Graphical Models for Security

Έτος:
2020
Γλώσσα:
english
Αρχείο:
PDF, 13.15 MB
0 / 5.0
english, 2020
32
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
MOBI , 2.09 MB
0 / 0
english, 2021
33
Lecture Notes in Computer Science

Lecture Notes in Computer Science

Έτος:
2009
Γλώσσα:
english
Αρχείο:
FB2 , 2.04 MB
0 / 0
english, 2009
34
Lecture Notes in Computer Science

Lecture Notes in Computer Science

Έτος:
2008
Γλώσσα:
english
Αρχείο:
LIT , 3.10 MB
0 / 0
english, 2008
35
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
FB2 , 7.71 MB
0 / 0
english, 2021